A Unified Modeling Framework for Discrete Event Simulation
نویسندگان
چکیده
We propose a unified modeling framework for discrete event simulation. Our approach aims to provide a generic framework to simplify construction of simulation models, and at the same time provide the capability to capture the dynamic, static, and functional aspects of a system under study. We adopt a graphical modeling technique that integrates best practices from several powerful modeling paradigms and unify them in a consistent framework. The model when defined using this framework would be amenable to formal analysis. We also provide a graphical editor that makes these models easy to construct, reuse, and extend.
منابع مشابه
Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملA discrete-event optimization framework for mixed-speed train timetabling problem
Railway scheduling is a complex task of rail operators that involves the generation of a conflict-free train timetable. This paper presents a discrete-event simulation-based optimization approach for solving the train timetabling problem to minimize total weighted unplanned stop time in a hybrid single and double track railway networks. The designed simulation model is used as a platform for ge...
متن کاملDesign of Distributed Simulation Environments: A Unified System-Theoretic and Logical Processes Approach
This article presents a framework for distributed simulation that is based on system-theoretic and logical-process concepts. The framework describes a three-part worldview for developing simulation models. These are modeling formalisms, abstract simulators, and computational environments. A unified view of time and causality allows for the application of system-theoretic notions of causality wi...
متن کاملSupply-chain Simulation Integrated Discrete-event Modeling with System-Dynamics Modeling
This paper describes a novel simulation framework that integrates discreteevent modeling with system-dynamics modeling. The former has strength in system performance evaluation; meanwhile, the later has an advantage of representing feedback mechanisms in complex systems. We are currently developing a hybrid-modeling framework, which combines discrete-event modeling with system dynamics modeling...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010